@CHARSET "ISO-8859-1";

/* CSS Document */
//
TODO Some real CSS stuff should be done
body {
	background-color: #FFFF99;
	border: 1px solid #000000;
	padding: 10px 30px;
}

body a:link {color ="#FF3333";
	
}

body a:visited {color ="#990033";
	
}

body a:link {color ="#000000";
	
}

/* Inserted from header.php */
a.mnu {
	text-decoration: none;
	font-size: 8Pt;
	font-family: Verdana, Arial, sans-serif;
	color: white;
	font-weight: bold;
}

a.mnu:hover {
	text-decoration: none;
	font-size: 8Pt;
	font-family: Verdana, Arial, sans-serif;
	color: #3366ff;
	font-weight: bold;
}

div.mnu {
	text-decoration: none;
	font-size: 8Pt;
	font-family: Verdana, Arial, sans-serif;
	color: white;
	font-weight: bold;
}

span.mnu {
	text-decoration: none;
	font-size: 8Pt;
	font-family: Verdana, Arial, sans-serif;
	color: white;
	font-weight: bold;
}

a.dis {
	text-decoration: none;
	font-size: 8Pt;
	font-family: Verdana, Arial, sans-serif;
	color: silver;
	font-weight: bold;
}

a.dis:hover {
	text-decoration: none;
	font-size: 8Pt;
	font-family: Verdana, Arial, sans-serif;
	color: #3366ff;
	font-weight: bold;
}

table.dis {
	text-decoration: none;
	font-size: 8Pt;
	font-family: Verdana, Arial, sans-serif;
	color: silver;
	font-weight: bold;
}

table.dis:hover {
	text-decoration: none;
	font-size: 8Pt;
	font-family: Verdana, Arial, sans-serif;
	color: #3366ff;
	font-weight: bold;
}

.headlines:hover {
	text-decoration: none;
	color: #3366ff;
}

.headlines {
	text-decoration: none;
	font-size: 8Pt;
	font-family: Verdana, Arial, sans-serif;
	font-weight: bold;
	color: white;
}

.portcosts1 {
	width: 7em;
	border-style: none;
	font-family: Verdana, Arial, sans-serif;
	font-size: 12pt;
	background-color: $ color_line1;
	color: #c0c0c0;
}

.portcosts2 {
	width: 7em;
	border-style: none;
	font-family: Verdana, Arial, sans-serif;
	font-size: 12pt;
	background-color: $ color_line2;
	color: #c0c0c0;
}

.faderlines {
	background-color: $ color_line2;
}
";
}